@article{CHEN2007,
	author={Zhi En Chen and Austin H. Chen},
	title={Improvement and construction of RNA Silencing Model with hybrid functional Petri net},
	year={2007}
}

@article{PELEG2002,
	author={Mor Peleg and Iwey Yeh and Russ B. Altman},
	title={Modelling biological processes using workflow and Petri Net models},
	year={2002},
	journal={Bioinformatics},
	volume={18},
	number={6},
	pages={825-837}
}

@MastersThesis{TOMIYAMA2007,
	author = {Michele Nasu Tomiyama},
	title = {Modelagem e Simulação de Processos Biológicos usando Redes de Petri Predicado Transição Diferenciais},
	school = {Universidade Federal de Uberlândia},
	year = {2007}
}

@article{BAKER1999,
	author = {Patricia G. Baker and Carole A. Goble and Sean Bechhofer and Norman W. Paton and Robert Stevens and Andy Brass},
	title = {An ontology for bioinformatics applications},
	year = {1999},
	journal = {Bioinformatics},
	volume = {15},
	pages = {510-520}
}

@article{SACKMANN2006,
	title={Application of Petri net based analysis techniques to signal transduction pathways},
	author={Andrea Sackmann and Monika Heiner and Ina Koch},
	journal={BMC Bioinformatics},
	volume={7},
	number={482},
	mounth={November},
	year={2006},
	doi={10.1186/1471-2105-7-482}
}

@article{PINNEY2003,
	title={Petri Net representations in systems biology},
	author={J. W. Pinney and D. R. Westhead and G. A. McConkey},
	journal={Biochemical Society Transactions},
	year={2003},
	volume={31},
	pages={1513-1515}
}

@inproceedings{miao2008,
    title = {Modeling and Analyzing Composite Semantic Web Service Using Petri Nets},
    author = {Huaikou Miao and Tao He and Zhongsheng Qian},
    day = {24},
    doi = {10.1109/ICEBE.2008.51},
    journal = {ICEBE '08. IEEE International Conference on e-Business Engineering, 2008.},
    month = {October},
    pages = {660--664},
    url = {http://dx.doi.org/10.1109/ICEBE.2008.51},
    year = {2008}
}

@inproceedings{cheng2007,
    title = {Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets},
    author = {Yong-shang Cheng and Zhi-jian Wang and Cong-ming Wang and Long-ye Tang and Ling Shang},
    day = {24},
    doi = {10.1109/ALPIT.2007.43},
    journal = {Sixth International Conference on Advanced Language Processing and Web Information Technology, 2007. ALPIT 2007.},
    month = {August},
    pages = {510--514},
    url = {http://dx.doi.org/10.1109/ALPIT.2007.43},
    year = {2007}
}

@inproceedings{han2007,
    title = {Modeling and Analysis of Semantic Web Services with Petri Nets},
    author = {Yaojun Han and Changjun Jiang and Xuemei Luo},
    day = {31},
    doi = {10.1109/SKG.2007.82},
    journal = {Third International Conference on Semantics, Knowledge and Grid},
    month = {October},
    pages = {122--127},
    url = {http://dx.doi.org/10.1109/SKG.2007.82},
    year = {2007}
}

@article{milanovic2004,
    title = {Current Solutions for Web Service Composition},
    author = {Nikola Milanovic and Miroslaw Malek},
    address = {Los Alamitos, CA, USA},
    doi = {10.1109/MIC.2004.58},
    issn = {1089-7801},
    journal = {IEEE Internet Computing},
    month = {November},
    number = {6},
    pages = {51--59},
    publisher = {IEEE Computer Society},
    url = {http://dx.doi.org/10.1109/MIC.2004.58},
    volume = {8},
    year = {2004}
}

@TechReport{owls,
    author = {David Martin and Mark Burstein and Jerry Hobbs and Ora Lassila and Drew McDermott and Sheila McIlraith and Srini Narayanan and Massimo Paolucci and Bijan Parsia and Terry Payne and Evren Sirin and Naveen Srinivasan and Katia Sycara},
    title = {OWL-S: Semantic Markup for Web Services},
    institution = {W3C},
    year = {2004},
    month = {November},
    url = {http://www.w3.org/Submission/OWL-S/}
}

@inproceedings{MURATA1989,
	title={Petri Nets: Properties, Analysis and Applications},
	author={Tadao Murata},
	journal={Proceedings of the IEEE},
	volume={77},
	number={4},
	year={1989},
	pages={541-580}
}

@article{Parhi2002,
	 author = {Pham, D. T. and Parhi, Dayal R.},
	 title = {Navigation of multiple mobile robots using a neural network and a Petri Net model},
	 journal = {Robotica},
	 volume = {21},
	 number = {1},
	 year = {2003},
	 issn = {0263-5747},
	 pages = {79--93},
	 doi = {http://dx.doi.org/10.1017/S0263574702004526},
	 publisher = {Cambridge University Press},
	 address = {New York, NY, USA}
}

@article{Parhi2009A,
	author = {Parhi, Dayal Ramakrushna and Pradhan, Saroj Kumar and Panda, Anup Kumar and Behera, Rabindra Kumar},
	title = {The stable and precise motion control for multiple mobile robots},
	journal = {Appl. Soft Comput.},
	volume = {9},
	number = {2},
	year = {2009},
	issn = {1568-4946},
	pages = {477--487},
	doi = {http://dx.doi.org/10.1016/j.asoc.2008.04.017},
	publisher = {Elsevier Science Publishers B. V.},
	address = {Amsterdam, The Netherlands, The Netherlands}
}

@inproceedings{Parhi2009B,
	author = {Singh, Mukesh Kumar and Parhi, Dayal R.},
	title = {Intelligent neuro-controller for navigation of mobile robot},
	booktitle = {ICAC3 '09: Proceedings of the International Conference on Advances in Computing, Communication and Control},
	year = {2009},
	isbn = {978-1-60558-351-8},
	pages = {123--128},
	location = {Mumbai, India},
	doi = {http://doi.acm.org/10.1145/1523103.1523129},
	publisher = {ACM},
	address = {New York, NY, USA}
}
 
@MastersThesis{Montano2006,
	author = {Razer Anthom Nizer Rojas Montaño},
	title = {Aplicaçãoo de fórmulas não-clasuais em planejamento com redes de Petri},
	school = {Universidade Federal do Paraná},
	year = {2006}
}

@MastersThesis{Benacchio2008,
	author = {Juliana Hoffmann Quiñonez Benacchio},
	title = {Planejamento em inteligência artificial utilizando Redes de Petri Cíclicas},
	school = {Universidade Federal do Paraná},
	year = {2008}
}

@MastersThesis{Tows2008,
	author = {Guilherme Stutz Töws},
	title = {Petrigraph - Um algoritmo para planejamento por desdobramento de Redes de Petri},
	school = {Universidade Federal do Paraná},
	year = {2008}
}

@article{Parhi2007,
	author={S. K. Pradhan and D. R. Parhi and A. K. Panda},
	title={Navigation of multiple mobile robots using rule-based-neuro-fuzzy technique},
	volume={3},
	pages={142-152},
	journal={International Journal of Computational Intelligence},
	year={2007}
}

@unpublished{Mantovani2009,
    title = {Utilizando a robótica como recurso didático no ensino de engenharia e computação},
    author = {Rafael G. Mantovani and Valter T. Kamiji and Pedro Paulo da Silva Ayrosa},
    journal = {XI Conferência Internacional de Educação em Engenharia e Tecnologia - INTERTECH'2010},
    month = {March},
    year = {2010}
}
